\chapter{On the Expressiveness of Forwarding and Suspension}
\label{chap:forward}
\minitoc



\input{forw-intro}


\section{The Calculus}\label{s:lang}
\input{forw-lang}


%	\input{preliminaries}
\section{Convergence is Undecidable  in \hof}\label{s:turing}
\input{forw-minsky}


\section{Termination is Decidable  in \hof}\label{s:wsts}
\input{forw-finkel}
\input{forw-newlts}
\input{forw-termination}

\section{On the Interplay of Fowarding and Passivation}\label{s:passiv}
%\section{The calculus with passivation}
\input{forw-passivation}
\section{Concluding Remarks}\label{s:hof-conc}
 \input{forw-concl}